{"entities":{"Q3434708":{"pageid":3445411,"ns":120,"title":"Item:Q3434708","lastrevid":90133571,"modified":"2026-06-04T19:22:22Z","type":"item","id":"Q3434708","labels":{"en":{"language":"en","value":"Functional Equations in Shostak Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148740"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434708$27E54E37-0B29-4551-AA77-C28FAA706452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6abec0e45eaf7dcb7e11dd598e3fe99a992450ea","datavalue":{"value":{"text":"Functional Equations in Shostak Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434708$A366DD9F-F45F-4B6E-9A08-5CB8AF9DA816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e76d76eecb79b6ee5409d1341cadbbe36dc9b422","datavalue":{"value":"1185.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434708$6851A13A-C5AE-4094-8E0C-FA328A57CDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aaccb9d13b53ea2931a7267d14313f020327bc0","datavalue":{"value":"10.1007/11753728_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434708$16D36F08-971C-4B99-A900-974D920A7FDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ffc2636d54f2e172bbc8b42fb0d68f49e226ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3412363,"id":"Q3412363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434708$AF8A038C-15B3-4603-B8D9-F31C93E62AF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434708$7D6F4330-1E89-4FF9-8374-854399F6CF9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434708$3346AFE8-C295-4E5A-9377-C90D2C515B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434708$F4BA8949-A6CF-4CBB-9719-5A60EAA17AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0cc511d83145ccce2c2349d3a7a23f55b583c30","datavalue":{"value":"5148740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434708$1D063297-C7F2-4A0A-8C47-7A3989225E1B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434708$CC52B187-4336-4ED9-8331-3620F499D2E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52210b4fc1c8a582d9793656d32828b4695f0eb7","datavalue":{"value":"https://doi.org/10.1007/11753728_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434708$D6F5ACC1-BA02-4DA4-AA18-CA261C106906","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96cb8033c685b7eaa3cda71c35bac98c165d3b0e","datavalue":{"value":"W1849535384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434708$92340411-4537-494A-B2EE-D4FB8874C79F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56325ad7bd5b25b73a5b6397da01b904f4610f02","datavalue":{"value":{"entity-type":"item","numeric-id":3412392,"id":"Q3412392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314bfe56def329a2257007905e8be7288b30788d","datavalue":{"value":{"amount":"+0.97185063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$8F7BAEA5-6063-4965-91B8-61492B43247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f16b56b75574f681f0b022f2e41111c1d4f364","datavalue":{"value":{"entity-type":"item","numeric-id":2565939,"id":"Q2565939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85a586cae14a617966e0ec8864f847c7d874466","datavalue":{"value":{"amount":"+0.9028901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$AC32D013-5EF5-4703-8BE2-08769574FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f5ddece28b0b0007a2db4bd8a125b278a5c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2773570,"id":"Q2773570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2c4c4c30f892cf7fc6405bb9c077a3c586923a","datavalue":{"value":{"amount":"+0.9013138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$C02178F1-9B42-4396-BD98-D16D7CDFA5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf6132f0aebe53d7a4c575e9eaa9e31a9fb54a","datavalue":{"value":{"entity-type":"item","numeric-id":5539083,"id":"Q5539083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935af8e9a00d646e121cccae61d5c4769557ca74","datavalue":{"value":{"amount":"+0.8966203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$77F76E4F-AEBD-4122-BAB7-3FAFAEB6E181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17d39d8072a802509873d9e0466626236f8a21a","datavalue":{"value":{"entity-type":"item","numeric-id":3803585,"id":"Q3803585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935af8e9a00d646e121cccae61d5c4769557ca74","datavalue":{"value":{"amount":"+0.8966203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$85F6149A-E475-4AC0-84F4-7AD1D13C7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f384ab7c39aeb25d34191a3f7192b462475cb506","datavalue":{"value":{"entity-type":"item","numeric-id":2784219,"id":"Q2784219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7130a46a73fa01df7f38ec57cbd90986443e3e5e","datavalue":{"value":{"amount":"+0.8927918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$CB8ADBCF-D107-4C56-B398-D1BD0A1E45EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6e516ac2b916785d919b088ca79797ab92e446","datavalue":{"value":{"entity-type":"item","numeric-id":5249866,"id":"Q5249866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4ddbe771e31bb4f85bf8b7eb53a9aa565f4618","datavalue":{"value":{"amount":"+0.8916671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$5CE471EA-705A-4CCF-B8DF-7CFEF3823223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9feba06681c06c3ebb104b24a19b91c0845a7e30","datavalue":{"value":{"entity-type":"item","numeric-id":3719185,"id":"Q3719185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4ddbe771e31bb4f85bf8b7eb53a9aa565f4618","datavalue":{"value":{"amount":"+0.8916671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$EE924CF0-718C-484B-B3CB-EADE3B1A903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647c39478250397dc50d697719995e4543fe6389","datavalue":{"value":{"entity-type":"item","numeric-id":3274380,"id":"Q3274380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd62fa03b6603bf7cec3fabd959f4b1ab913a64c","datavalue":{"value":{"amount":"+0.88534975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434708$E10CDF35-3985-4689-B4A7-7EC4A70A6E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional Equations in Shostak Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_Equations_in_Shostak_Theories"}}}}}