{"entities":{"Q4447230":{"pageid":6476829,"ns":120,"title":"Item:Q4447230","lastrevid":41792091,"modified":"2025-05-08T09:48:00Z","type":"item","id":"Q4447230","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2043527"}},"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":"Q4447230$BE8D43B0-EC54-4AAC-B658-F2F83D5DF8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d5f77595a446e483fe5a36631808e1bc9623cee","datavalue":{"value":"1038.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$232CF147-5DE2-426B-B86A-4EE6EAC81F9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4447230$FDB58972-5813-444D-BDA7-243E4043DDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4447230$80802598-12BD-44DC-BA5D-DB30A9F5EC79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47576d07db347b90eff15fb322f5d8e5e4a12653","datavalue":{"value":{"time":"+2004-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4447230$47B5A5AB-0158-4BDF-9E9C-A4D29A395F48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"762e24ac7e1e747073f64842db930f5b6e2cdc52","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2706/27060148.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4447230$FEC08188-2B6B-4B32-8D19-03F45D6332A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$D7C456E5-6DD9-4037-9D6D-A13810C970FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$6032973C-1233-4148-98FE-EABE76091134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$36250B55-F617-495F-ACDA-9A0CA74FC4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$CC8BF846-430A-4D0C-A2FE-D4E344AF5D7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07f67d1355c4bdff961656f07f1e320d9d83f86a","datavalue":{"value":"2043527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4447230$0F306108-4260-43E2-BC18-DE08AE99CC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f7c72597ad004e0a18030c1e1c1ac681c663a","datavalue":{"value":"extension of Skolem class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$0F14E833-D681-4123-9C44-5D70B4990413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$5206E174-2894-452C-A8A8-36D8DA4C995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$E510B824-FF35-4E30-8BEE-A47AE0E0F822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$80220CFF-C54F-4927-9267-EBC09FC91B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3924863c87b4bfcbf90eadddb4f3005f7a9e23a9","datavalue":{"value":"verification of cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$532148E7-EDDD-444D-99B4-8798F9968D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd0c9bf670dd82fff8df18edf3df66558e669a5","datavalue":{"value":"exclusive or","type":"string"},"datatype":"string"},"type":"statement","id":"Q4447230$FEC3E1AA-A545-4C99-B915-9FAEF7252BFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4447230$4FB41C44-06EE-427E-9DD7-2607657CB62A","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":"Q4447230$A5EB24AD-76F3-4BE9-89D8-A178081319EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9e46cd1d86713d51a6595b7f177353ff07d14","datavalue":{"value":{"entity-type":"item","numeric-id":3631369,"id":"Q3631369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38543eb7b7463679d628c08ecc27ad8c9a268b6","datavalue":{"value":{"amount":"+0.89476115","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":"Q4447230$3DB1C032-20BE-42DC-8C32-DAF2F5F68C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b411fd1bad62179680754d72224adf838ef59be","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a59d5da4a96a1e5df05981729130ede434bd94","datavalue":{"value":{"amount":"+0.8665478","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":"Q4447230$C742BA62-9D4B-4F22-ABC8-4F6DF3108D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4b86063fe4ea29fc5e426f577b70733ff90637","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1480cb57703a21346fb59bfb14429a8e9e9480c","datavalue":{"value":{"amount":"+0.8626264","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":"Q4447230$9FC87277-2FA0-4E49-9FF7-5A46F8301788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7256a431b701e54c22ee2b5b886112355fa6e5db","datavalue":{"value":{"entity-type":"item","numeric-id":3211248,"id":"Q3211248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5791912d3123e6dcaced204f449613ff97ac86f6","datavalue":{"value":{"amount":"+0.86056376","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":"Q4447230$F90B859C-ECF1-480B-91D7-811F8A1EE38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761fe0e5cfa13bfd00081cdbe34620b912ff480f","datavalue":{"value":{"entity-type":"item","numeric-id":5089298,"id":"Q5089298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fea00a70e1e843c279a0b93e1a04f89a29da81","datavalue":{"value":{"amount":"+0.8593442","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":"Q4447230$B9D12CDF-EA6E-4A11-9672-A60B3C21B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbcada086250dbdb1872ee6d276908567f2b114","datavalue":{"value":{"amount":"+0.85918623","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":"Q4447230$D157431A-F532-4922-B2B4-EDE8843B7328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f141b70ccaca5c75e296ffc1c670bf390d6f305f","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf78c57237ee92ffdb83dc0557ce49171afc52e8","datavalue":{"value":{"amount":"+0.85823154","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":"Q4447230$2B3690B8-0772-4F5F-8F99-E5521CD8E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1156be26d8ce132080bc8f0f9817fb5f9f4a0405","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ff801803fd870dd6aa72d1f02e54c96166475f","datavalue":{"value":{"amount":"+0.8547781","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":"Q4447230$9BCAA7E1-E3CF-4AEE-BB52-A6586EC61CBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4447230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4447230"}}}}}